\begin{tabbing}
before($e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if es{-}first(${\it es}$; $e$)\+
\\[0ex]then []
\\[0ex]else append(before(es{-}pred(${\it es}$; $e$)); cons(es{-}pred(${\it es}$; $e$); []))
\\[0ex]fi 
\\[0ex]
\-\\[0ex]{\em clarification:}
\\[0ex]
\\[0ex]es{-}before(${\it es}$; $e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if es{-}first(${\it es}$; $e$)\+
\\[0ex]then []
\\[0ex]else append(es{-}before(${\it es}$; es{-}pred(${\it es}$; $e$)); cons(es{-}pred(${\it es}$; $e$); []))
\\[0ex]fi 
\-\\[0ex]\emph{(recursive)}
\end{tabbing}